Add bug report number for previous fix (#760)