#717: #629: changed placement of hr tags
opened by thuchacz