Remove useless display from cardinal_of test
Fix some more warnings
Made details:: be invisible in the doc