fix #873

Just a little fix.