Skip to content

Minor renaming

Minor renaming #767