a little twist for section 5.2