Merge branch 'PR4' (GH#4)