small fix (bug introduced in the previous commit)