Just that. We have 8 yr old averaging asleep by 9/9.15 10 yr old 9.30 ish, but they still wake at seven and are knackered.