bugfix

Minor bugfix