Fix case of MPS_OS_W3, spotted by RB.