Fix indentation bug in galaxy_profiles preventing byte-compilation