A simple operation for hallux rigidus.