fix styling (re #931)