Update PathCover v0.1.3