A summation formula involving Fibonacci digits