made minor changes to cut down wordiness