Whoops, that somehow escaped my replacing when I merged #642 into the branch.