add comments and an ASSERT_LOCK_HELD()