A stub for is_empty