Minor cleanup.

* Add missing headers
* Remove `void` where it's not needed
* Remove a duplicate `#pragma once` directive