Fix 'make tidy'