4.2 # fixes #3.