updates for version 0.13