Make the first definition example a little bit more explicit.