Minor adjustment to quiet gcc 4.9