0037: bugfix for 0036