Undo changes made for #89

Better to be more explicit.