html: change #! snippet.