Correcting some syntax