They should have open sourced their navigation control codebase, so we can see and fix whatever bugs there are.