bugfix, see #1