Add things erroneously omitted from v. 0.5.0.beta4