I fixed this on Tom's behalf.