Fix tiny errors in backends