Yes: we need to stick to one style and that's the one that has been used forever in Dolphin's codebase.