Skip to content

Misc cleanups

Misc cleanups #828