Finalized renaming in JFNKHouseholder