a_n corrected in gumbel.py