minor fix in cmsnav part