Removed old syntax that no long applies for #4032