minor changes (probably just whitespace)