Minor additions and corrections