fix a bug that will never happen