Proc.sql small fix