Minor syntax fix from comments.