Thanks! I fixed it in master.