FYI: NumberFormatException bug and a temporary workaround