push: indicate partialness of error message