#922: #889: yet another

opened by thuchacz