#1840: #1823: one more still

opened by thuchacz