the changes I applied to okular