Small fixups
Fix wrong doctests
Fix failing of doctests due to credits