fixes issue #93 (for real, this time)