another bug is fixed