#1810: #1780: second sweep

opened by thuchacz