Further doc prettification :-)
Fix typo