Small fix on dump_service