sidef: improved some error messages.