Tiiiny improvements in doc