Bugfix -- missing $