#27: minor change, sorry for the push but I need to check on it on another PC...