Now.. Why are these double defined??