I'm fine with all the other whitespace additions in this file, but this line is definitely a whitespace error : )