cosmetic fixes #31