Fix bug workaround comment.