bitcron: spec fixed