small bugfix

extra [