Minor eclipse error fixes