A bit of verbosity.
A bit of verbosity.

cr-marcstevens/fplll,cr-marcstevens/fplll,dstehle/fplll,fplll/fplll,fplll/fplll,cr-marcstevens/fplll,fplll/fplll,cr-marcstevens/fplll,dstehle/fplll,dstehle/fplll,fplll/fplll,fplll/fplll