Fix for integer std