(minor) exception handling