Minor last corrections