Some small last corrections