Made fix suggested by Raf04 in #83.