Rename example3a to example3a.html