ensured that users can not label a traversal step as hidden. doc cleanups.