a minor formatting