fix error I introduced