In this case it was the right thing. Double deckers are better.
I didn't know until now that they're only common in Britain. I guess when travelling you don't notice things like "there aren't many double decker buses".