Remove double ; from r84971