Do we need this extra whitespace? Seems like the only type of difference in this file.