minor formatting and removed references to linenum