This fixes CI getting all bothered by !3687 (merged).
Sure! Thanks :)
merged
mentioned in commit 19aba583