Minor corrections in compilation