Commented out printing of numbers of propns (end of file)