Looks OK, no idea whether it's  actually needed, I took it from the installation code, I'll check it...