Good catch:

fixed in 3a1b542db1603d62125c3510435c4737b2c44dfa