minor changes
Write in non-ghosted vector positivity.cc