Fix type of emptySTArray