Found via model checker in the test app.
mentioned in commit 918f631c
mentioned in merge request !58 (merged)