bugfix, see #2