Done in the version that I pushed yesterday.