Not presently used, but could result in bugs later on