Small change from eclipse