avoid 'refined tolerance' warning