Since the difference between these two lines isn't obvious immediately, a comment might be nice