Fixes error introduced by me in 1d5e62bb.