More minor additions