corrected newly introduced typos and inconsistencies