Fixed a bug in commit for #451