minor fix at sim_top_doc