Changed definition formatting.