Small fix to the eclipse setup document