#620: bugfix