Feel stupid ;) I've pushed the fix