operator option. Closes #3528