fix error introduced earlier