Update spacing/annotation in antimony