small fixes to cone theorems