fixes for warnings produced by Xcode 5.1