Fix formatting in several files.
Reuse has_some_clock