Get rid of no longer needed workaround for WebKit remove formatting bug