Small documentation improvements