Fixed a silly mistake following the previous commit