Minor style cleanup.
Fix output naming of explicit interface implementations