Empty annotation warnings for #44