Is there some auto-formatting going on here?