Ok, fixed that in a5cff99641fc7b5d218eb09f8321f6ed778e4101.