Update missed in previous GPL merge