Fix an error related in issue #197