Comment on Fatal error on installing the Navigation module