Minor bugfix. See history.