Better documentation for KosselPi