compilation fix due to renaming