Fix a wrong check in 254954dc09f4d6e4703b03773bb7be327db2e89b.