Small fixes on docs