Some small additions