Some small extensions