Small error fix (for v0.25)