minor clean up because of eclipse bugging