Adjusted logpro for all_toplevel