minor corrections and refactorings in Position