Skip to content

more minor tweeks

more minor tweeks #543