Remove prints, fix ex2 for Coq 8.3pl4