trying to fix minor formatting snafu