Add a short comment explaining why so that we don't forgot to try to fix this later