WHO: Yellow fever booster not needed