Fix the inequality due to upstream packaging versioning issues