Attempt to fix #726: documentation missing in python