Good idea. Done in 94a3373.