This should generally not be necessary -- any reason why it's here?