MIRACL audit
fixed some link formatting