A few additions