fix a bug introduced in 1fb38442d3a55ac92795aa6c5ed4df82011df724,