Fixes and comments

! Some fixes, especially when compared to the reference implementation
+ Comments
+ Preparations for a higher exponent than 1