Little syntactical tweaks.