Nitpicking done
Nitpicking done

shi-bai/fplll,dstehle/fplll,dstehle/fplll,GottfriedHerold/fplll,gbonnoron/fplll,shi-bai/fplll,dstehle/fplll,blowfish880/fplll,cr-marcstevens/fplll,GottfriedHerold/fplll,cr-marcstevens/fplll,fplll/fplll,fplll/fplll,fplll/fplll,GottfriedHerold/fplll,shi-bai/fplll,blowfish880/fplll,fplll/fplll,fplll/fplll,gbonnoron/fplll,cr-marcstevens/fplll,blowfish880/fplll,gbonnoron/fplll,shi-bai/fplll,cr-marcstevens/fplll