updated ObjectPrinter and MSpec