a minor reformatting in the code