Fix accidental clobbering of header in README