Fix degenerate /< hello >/.