Skip to content

Minor cleanup

Minor cleanup #1501