another minor formatting fix