comment about 64-bit
fix instructions about tags