initial tests, and some syntex corrections