opera: pspec.xml cosmetic