Don't encode '@' in {@code} tags