Fix whitespace issue in 7b86233.