Minor correction to allow() method