Sorry, this was pushed accidentally
mentioned in commit 15d6ae2d
mentioned in merge request !261 (merged)