Style: space after `void`