Oh, wait, this is deleted code. :) Still, wherever this warning moved to...