Is indentation borked here?