quick fix and todo for published_ss weirdness #618