Fix bug in `**`