fix a bug introduced by commit cd7572e