Comment by dkersten

Well, yes. Amusing might have been a better word than funny.