Skip to content

minor cleanup

minor cleanup #536