#1790: #1769: third pass

opened by thuchacz