25Hz content playing back at 50Hz

Good catch. I changed it, restarted mediacenter and played a 25Hz movie but it is still output as 1080p50hz.