Fix servlet docs.

Closes #424.