minor correction due to old syntax