Remove unused revalue() function.