Minor edit after pull request has been made