Minor, unnecessary changes