fix #237: undescribed error