remove option

Authored by ggreif on Dec 14 2018, 1:01 PM.