Fixed a problem pointed out by Kevin Holbrook.