correcting old unnoticed mistake! closes #5