Slight improvement to gohaxelib examples