Issue #45: fixed.