Some more extensions