Tiny comment fix of StringToInt problem