ok, got it - in that case its indeed needed. Merging now.