Minor fix

Fixed a missing $