Fixed mentioning servlets in PHP pages