* Minor bugfix.