version8: final fix before publishing