fix bug in galaxy-matcher