changed <whitespace> to [whitespace]