Merge branch 'trunk' of https://github.com/bogdanneacsa/git-tvb into trunk
Merge branch 'trunk' of https://github.com/bogdanneacsa/git-tvb into trunk
small check