fixing bug introduced in last rev