fix small known fp bug; rename confusing function