this isn't needed, due to the compact below