A bug that generates an “invalid write” has been fixed