small stylistic changes to checkpull