minor adjustment in @loureirorg's pull request