comma after PyDev