minor cleanup in pratt