Eventually the informal name was shortened to John Bull and this name was so much more widely used that Stevens fell out of use.
Z czasem nazwa została skrócona do John Bull a przez to, że była używana znacznie częściej niż Stevens to wkrótce wyparła tę nazwę.