document __init__ (fix #8923)