Minor bugfix (probably caused by improper merging).