Skip to content

Tiny cleanup

Tiny cleanup #661