renamed exception\'s method display() to what()