Fix use of volatile