Wrong expansion rule named