undo previous commit (see #14 comments)