double "," corrected

Thanks to Joscha for spotting it!!!