Slightly improved docs