Fixing up sentence in servlet deployment docs.