Tiny naming fix