fixed some python exports