hmm, if this is necessary (I only have hazy recollections of writing this) then we should probably show the code as well …