Changes in development.tex