A few small additions