Another bug found and fixed