Fixups to 0.15.1