Issue #86: translated