@Ragman,
Thanks Ragman. I also asked my colleagues and one of them answered me a comma should be used, one that she would use the comma, another one that I can use a comma if I want to, but it is not important. My colleague, who I was advising to use the comma (because I have to sign his documents) did not want to use the comma (because MS Word did not correct him!) and another colleague said that using the comma would be incorrect
Probably most people would not be bothered about that (missing) comma in a technical document, but the sentence without a comma was jumping at my eyes
Regards,
Nick