Pull request for Issue748 into Issue620

This is the first time I've created a pull request to merge into a branch which isn't master. This seems to be right, no??