Fixed #913, I think. (This was just built into marked.)