Fixing a small error pointed out by @sh4z