Oops, forgot to push the code for that. Added in 7385c5c.