Skip to content

Minor cleanup

Minor cleanup #292