small fix in fpu