fix whitespace in 94f77cb9de5a8975ea5bbeb9a217cf68194cf51b, refs #1325