Small correction to #73 and #72