fix annotations arrays and binary minus