- Added functionality for finding the navigation document in the manifest
- Fixed some warnings