#723: #205: tweak to last push
opened by thuchacz