Small layout fix
Some cosmetic improvements, finished processing Idemix comments
Finished discussion