A minor fix in parameter definition syntax formula