minor bug fix for release 0.1.3