Oops, a refactoring was not saved before last commit

Fix for 815f1c94a