I don't even know why this fix was necessary...