Eventually the informal name was shortened to John Bull and this name was so much more widely used that Stevens fell out of use.
În cele din urmă, numele neoficial a rămas John Bull și a fost mult mai frecvent folosit decât cel de Stevens.