up to version 0.7.10 final (6-February-2013):