small fix of previous pull request