minor fix for push-to-web