some annotations for sanity