@nikodemus i do this a lot (even when it isn't needed)