1400: minor formatting change