mini bug-fix