Rephrase rule about empty lines between defs.