[iOS] Minor bug fix
Merge branch 'feature/plugin-server' of github.com:usersource/anno into feature/plugin-server
Merge branch 'feature/plugin-server' of github.com:usersource/anno into feature/plugin-server