Minor bugfix.