Fix issue #424

The previous fix was not working with dmd 2.064 frontend.