Fixing broken build thanks to github support

Apparently ampersands are illegal there.