minor fix in toymc