It was the first NFL interception for Butler