I think another Eclipse error, will fix