Minor: jwz style