Stupid mistake. Fixes #18