Skip to content

minor cleanups

minor cleanups #1232