Fixing 'defproblem' call