fix fp due to Findbug's precomputation screwing with the userValue