Small fix to the new error just created.