empty syntax annotation can now be printed. document has more possible properties.