Rename joseph2 to joseph2.html