Skip to content

Formatting fixes

Formatting fixes #745