Avoid the warning for pop! and empty?