Fixed #4553 (Wrong calculation of known values)