1135: trimming stuff