Another minor formatting change for COMPATIBILITY