@mjankowski Good call. Done in 99eaf5d.