fix mistake in final check
Merge branch 'master' into unstable
Merge branch 'unstable' of https://github.com/quangounet/TOPP into unstable