highlighter whitespace problem fixed: (... cast to number)
ugly fix of MINUS starting late bug; close #2