minor updates to koch.nim