How to define K hermitian semidefinite matrices in cvx?

is “variable A(N,N,K) complex hermitian semidefinite” right?

variable A(N,N,K) complex semidefinite
variable A(N,N,K) hermitian semidefinite
as you can see in the CVX Users’ Guide (plus the 3td dimension, to make it apply for each of the K, N by N slices)/

I don’t think it s wrong to list all 3 attributes, but it is redundant.