Bug has been discovered and fixed