Indent fix in engine/lib/navigation.php