fix a bug introduced with 0d3919b