#65. Fixed error from f2328788b97b897df13e57f4a5b4110fa0ce008f. Did not rename ParamDefs in Core.