Should these two include comments like the one below?