Document annoying binding semantics