I am not sure what happened here: either there was a software bug, or a bug in my brain :). I can't track what I meant.