Plowshare: minor fix to formula