Notating that a bug was fixed since the last release.

Closes #429