fjcontrib: 1.012