Fix rename forgotten in d253057.

Just a minor fix.