AdrianC: fix formatting