no more doubleposts. looks like we can close #9