Fix some documentation here and there