`py-end-of-top-level' fixed

CREDITS updated