some minor re-formatting