Skip to content

Minor cleanups

Minor cleanups #15