Minor update, documentation fixes, bugs