#76 finally closed?