refs #11: That should fix it.