Another small bugfix.