added check to ensure actual parameters conform with formal parameters