Resolving issue 1424 

@ehashman , please do take a look at this at your convenience.
PS: Enjoy the GHC :D

resolve #1424 
Interesting catch. This was copied straight from search. If this is better, we might also want to make that fix as well.