Formatting corrections, additional documentation