insert blank line to hopefully get GitHub to display ex3.1 right