Minor updates for v0.1.3.