minor fix
Merge branch 'dev' of github.com:winnlab/Agusha into dev