fixed misleading annotations

Fixed some misleading annotations to avoid violation of PBC default type safety