it sucks, but we have to update this manually