Correcting formal parameter definition mismatch