Updates to Lineman 0.12.3