Slightly improved some documentation