Minor formatting tweaks; fixes #37