minor fix due to renaming