remove warning about #726 (it was fixed)