tests for synDelete; documentation updates