Are 4 spaces proper here?