I've fixed this in the next push.