Fixed Paul's (Eclipse's?) screwup