some minor changes to annotations