Fix embarassment perpetrated in 97f0e3842c04.