Bug fix: a comma was missing in run_tests.jl

Looks like these tests haven't been run for quite a while :-)