Very minor adjustments

From ccb7f2b feedback.