Re-compile and fix for documentation