optimization bug?