Minor updates and corrections