[PATCH] no need to special-case comma after ##