#152: version set to 0.7.12
#152: changes explained
#152: version back to SNAPSHOT