One slight fix