Updated topfail documentation