Fix following change of case in website