Just to serve a better error message in case someone tries to change this.