little fix after last pull request