Minor fix to naming.