completing fix of online renaming screwup