Two small additions