Hmmm - in that case the old code was wrong too...