do we want to delete this, given that it's copied into src/test?