small after-testing corrections