https://bugs.webkit.org/show_bug.cgi?id=14762: There should be no red below.