Slightly revised pull request