Pushed your patch as commit 84096a1e843181668df5adac0f58d931c714907a Thanks, Björn