add attribution for the nice assert idea (which found a bug in the code)