Skip to content

Trivial cleanup

Trivial cleanup #55