formalized last changes as version 0.7.2