Editing: CommonMarkException.php