corrections, asserts, notes