This line is perhaps unnecessary