No implementation for option -> hiding

  (avoid confusing users)