Added spec for isEmpty