**/ --> */ (compliance with PDF.js coding styles)