Right you are! Have updated this on master.