I moved this here because it is only used in this file