Is there a whitespace inconsistency here?