Working around some weird unknown error from VERY broken annotations