Room oxygen enrichment improves sleep and subsequent day-time performance at high altitude.