Fixing up waf page