a tiny bug in English example fixed