Oh dear, that was a silly bug!