Minor correction for Eclipse instructions