Tweaks for github pull request