Minor name fix.