(minor) whitespace change