removed whitespace highlight which messes up copy-paste