Wrong use of portTICK_RATE_MS in cilktc-mist.h?

[erikflink]

I noticed that in cilktc-mist.h it says
#define cread_wait(chan, ptr, val) xQueueReceive( chan, &( ptr ), (val * portTICK_RATE_MS))

Shouldn't it be
#define cread_wait(chan, ptr, val) xQueueReceive( chan, &( ptr ), (val / portTICK_RATE_MS))
instead?

@saranya-natarajan