Good spot - fixed in 113d52bdb54d4492681b42345d13773be477f6c6.