And yet another bug!