fixed a minor format problem