Small fix recommended by @drkitty