Fixed minor bug in another definition.