Adding a comment that seems to fix things, but I do not know why.