fix the worst part of #12.