Fixed another issue involved in #223.