0544: bugfix for v.537

fixes #524