Found bug by inspection