alpha rename to satisfy GHC 7.4 and close #5