Tiny naming fix.