Is it correct to return `[]` here?