embarrassingly easy fix for #138--how did that slip through\?