Annotate possibly null return value