Very minor nits