Removing a <pre> tag lost somewhere along copypastas