label 2.0.10.20130710: with fixes for output format.