Fixed error due to misleading formal argument