use IS NOT NULL to make mysql happy