Check that empty() works