bug peergrading

@dianakhuang fixes one of the ora bugs (/peergrading:L12P5..)