bugfix, see comment