Pull request: for merging 0.5.1 from dev to master