minor change: remove a bug
This tag has no release notes.