Version 1.2: Small fixes
Version 1.31: Small highlighting fixes
Version 1.32: More fixes