Added alternative definition in comment.