Release v0.19

Among others, fix #701 and #794