minor fix after rename