WyIL: made some minor documentation updates.