Issues #87: translated