also formatting related to #77