[Tinyos-help] parameterized interfaces

[Sigg Benjamin]

I was reading the tinyos-programming-manual. At the end of Chapter 6.0 there is this little remark:

"Parameterized interfaces aren’t limited to a single parameter. For example, this is valid code:
provides interface Timer[uint8\_t x][uint8\_t y]"

However, if I try this i get only a syntax-error. Now: "provides interface Timer[ int x, int y ]" seems to work.

My question: is there a difference between [int x, int y] and [int x][int y]? Do I misunderstand something or is this, as unlikely as it sounds, a bug in the manual?

Greetings
Beni