There is some code for line numbers that uses ";" comments, so maybe this block is not useful.