doc: Couple more prettifications