Fix indentation of comments in or-lekhani