Add comment about short-circuiting bug.