css change that was missed from an earlier commit