Fix extra pseudo-names