Fixed broken ``NavGenPlugin`` again.