removed now incorrect line numbers in header commentary