Minor renaming fix