(c) Fix an error introduced in last changes