Style nitpick: I don't like whitespace here