Minor tweak to compilation instructions