A tiny bug fixed by Tao