minor fix in debug server debug mode