Changed distribution from "unstable" to "precise"