Flags lowered for Professor Emeritus Coleman