(move 1 line in posit.cpp)