some more extensions