Small additions and corrections