Summary

This fixes #1