another quick code styling fix