A more efficient market would have spent this money on buybacks