Good point. Restored in 8d4bc78.