extra space after `public`