A minor bug has been fixed