7a6926ea5a
This PR fixes #7936  Co-authored-by: Félix Malfait <felix.malfait@gmail.com>