Placate `make tidy`.