Change `a` underline to dotted

As per Albert's request