Fix minor nits