Accidental (re)indent of the // <4> ?