Final touches in docs