Bug Fixes

For some reason, robotc does not know the function "waitUntil", although
it is mentioned in documentation.
Formating