minifix for Build in man page (ServerTokens)