Fix bug introduced by picoc changes.