Fixes to debugging, optimization, developers guide.