Doc improvements

Thanks @tschaub for suggesting these.