fixed #287: Added history extension filtering