I believe that is the case. I probably was not paying close attention at that stage. It's certainly not a difficult problem to fix, I was simply commenting on

I believe that is the case. I probably was not paying close attention at that stage. It's certainly not a difficult problem to fix, I was simply commenting on the fact that it had to be fixed, which has not been the case on most other distros I have used.