Minor, but isn't there extra whitespace here?