restored pretty printed version, for easy editing