FIXED empty array annotation