A small bugfix.