fix unnecessary (but harmless) error