updates, corrections