add comment for ASSERT_LOCK_HELD()