Fixes clang warning (should also fix #586)