Fix one minor nit