error: mixing of isset and not_null