Incremental updates for spec version 0.5.4