Fix case Sophus -> sophus.