fix marking of overloaded ops #514