minor bugfix

forgot to hide