Misc. annotations.