more development manual fixes