It appears either of these forms work.