A bit late, I know, but the latest advice is to download OS8 into iTunes and then update your device through iTunes. This is supposed to take up a lot less storage memory. I cannot verify from personal experience because I too was caught out, before I saw this. Maybe something for next time.
Huawei P10 review