fix error introduced in d48524fff7