corrections and tests