Bugfix #424: auto_hide now defaults to False