This is in fact not needed, it resulted from an incomprehension about the actual cause of another issue.
See #2 (comment 216105)