Add missing formal parameter name