very minor changes: formatting