Fix eclipse weirness