some trivial things