server: fix documentation of dev parameter. Fix for #87.

Adjust the dev parameter description for the server class. Fix for #87.