a few updates, corrections