Minor syntactical cleanup.