A minor clean up