cosmetic changes to preverifier functions