Fix missing `void`