Fix bug in system test