- quick-fix to avoid NumberFormatException (#3743)