A few useful additions