small change to make eclipse happy