fix https://github.com/JackTeam/PathCover/issues/1