hack to fix SSE output