Moved a bug to DONE that was probably fixed with the previous commit.