Looks like I forgot to commit this.

It did go into the official release-0.7.11b, though.