This is sorta useless, but it makes issue #3 make sense