Brought code up to support dasein-core 2013.07