minor corrections to formatting