ref #66: bugfix