On improvements of the butterfly theorem