update following renaming