Quickfix: fix minor error introduced by previous cleanup