Fix docs for metrics-servlets.

Closes #412.