0.9.4 specification update