Carets are already doubled, so don't double them again