this is a more accurate number, workaround for #17