Fix PR608: