Using '+' instead of 'plus'

Do not export '+'!