a tiny renaming