Fix copy paste mistake...
Merge pull request #541 from TeoTwawki/misc2

Fix copy paste mistake...