Small fixes on Doc