Bump some mentions of 13.10