Fix small problem in sparc64 port.