some formatting corrections