Some minor additions