Small bugfix.
