If its 200mhz then thats what you want if it was set at 400mhz then you were overclocking the ram and thats what the problem was so leave it at 200 and all will be good.
To explain this pc3200 runs at a clock of 400mhz but because your cpu is double pumped you set its clock in bios to 200mhz this multiplyed by 2 for the double pump = 400mhz its rated speed.
Rick