Small updates, fixed misprints