v0.1.2.19: revise marking