Idea annotations are not optional

It's actually simpler for typical usage