minor modifications to reflect move of InputParameters.h