Pull request for bug 713