Widen navigator, fixes #18.