Minor clean-up before posting