more formatting fixes #17