empty() is deprecated; use isEmpty() instead.