(even more) doc improvements